A tentativa de estabelecer uma ontologia dos objetos digitais passa por questões complexas. A redução dessa ontologia ao plano da lógica não é suficiente para abarcar tal complexidade ontológica e, ainda menos, para lançar luz sobre as consequências axiológicas de tal discussão. Embora sejam formulados no campo da lógica computacional, os objetos digitais têm garantido seu papel de mediadores, entre o homem e a natureza, tanto quanto os objetos técnicos materiais, na medida em que fazem parte das ações técnicas indiscutivelmente (...) presentes na dinâmica da sociedade atual. Porém, se já são escassos os trabalhos a respeito da ontologia dos objetos técnicos materiais, mais raros são aqueles voltados a uma ontologia dos objetos digitais, ainda que essas duas classes de objetos constituam parte importante da estrutura social. Encontramos na obra de Gilbert Simondon um percurso voltado à ontologia dos objetos técnicos materiais. A questão que nos guia, aqui, diz respeito à possibilidade de estender tal ontologia aos objetos digitais e apontar os principais limites e divergências suscitados pelas peculiaridades dessa outra classe de objetos. Para tanto, recorremos ao consagrado conceito de concretização, central para a ontogênese simondoniana dos objetos técnicos materiais, na tentativa de aplicá-lo, também, aos objetos digitais. (shrink)

O filósofo da arte, Arthur Danto, propõe um sistema filosófico no qual a questão de saber o que é arte exerce uma função estrutural. No entanto, o que propomos aqui é uma espécie de recuo que se volta a uma questão de fundo: o que Danto entende por filosofia? Visto que o percurso, oferecido pelo autor, para responder à questão, passa pela aproximação entre filosofia e literatura, tentaremos explorar os limites entre essas duas práticas textuais e expor os passos argumentativos (...) através dos quais Danto pretende devolver à filosofia a complexidade que é aplainada pela prática acadêmica/filosófica da contemporaneidade, ao aproximar-se demasiadamente do modelo estabelecido pela prática científica. Para tanto, será necessário explorar – tanto na filosofia, quanto na literatura – o estatuto do estilo, o papel da semântica e a centralidade da figura do leitor, tomado como sujeito real no qual o texto realiza seu caráter transfigurativo. Por fim, não obstante a grande importância atribuída pelo autor à aproximação entre filosofia e literatura, a tarefa que se impõe é a de saber se restam, ainda, elementos característicos capazes de distingui-las. (shrink)

As críticas de Newton e Voltaire endereçadas à negação do vazio por parte de Descartes compartilham uma estrutura básica: ambos parecem concordar que tal tese cartesiana conduz a implicações indesejáveis tanto no campo da mecânica, quanto no que diz respeito à teologia. Entretanto, embora Newton admita as implicações teológicas da negação do vazio, elas não constituem o fim último de sua crítica, o que parece ocorrer na crítica de Voltaire. Ao contrário, os argumentos newtonianos para assumir o vazioencontram na mecânica (...) não apenas um campo de prova; eles constituem uma parte importante da fundamentação de um dos pilares do newtonianismo: o espaço absoluto. (shrink)

O livro Frankenstein: ou o Prometeu moderno – romance escrito por Mary Shelley e publicado em 1818 – é conhecido como uma contundente crítica à atividade científica, principalmente, considerando as concepções de ciência e de técnica subjacentes ao amplo projeto do iluminismo. Há intérpretes da obra de Shelley que assumem que uma possível fonte do modelo de pensamento criticado por ela se localiza nas teses defendidas por Francis Bacon acerca do tema do “domínio da natureza”. Assumindo isso como pressuposto, o (...) objetivo de nossa investigação é explorar a suposta presença do pensamento baconiano no livro de Shelley. A partir de uma chave de leitura filosófica, mais especificamente o tema compreendido como atitude prometeica, avaliaremos os limites para aproximar, por um lado, Bacon e Victor Frankenstein (personagem protagonista do romance) e, por outro, Bacon e Mary Shelley. Mais especificamente essas aproximações são realizadas a partir das considerações morais que orientam o saber técnico e científico desses autores. (shrink)

We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...) new interpretation to theories of classical arithmetic and analysis. (shrink)

It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...) schema would already be inconsistent. In the present paper, we show that this is not the case. (shrink)

We construct a weak second-order theory of arithmetic which includes Weak König's Lemma (WKL) for trees defined by bounded formulae. The provably total functions (with Σ b 1 -graphs) of this theory are the polynomial time computable functions. It is shown that the first-order strength of this version of WKL is exactly that of the scheme of collection for bounded formulae.

Este artigo tem como objetivo avaliar em que medida as considerações feitas por Gilbert Simondon sobre a natureza dos _objetos técnicos_ fundamentam teses incompatíveis com a prática da _obsolescência programada_. Mais precisamente, interessa saber como o conceito de _concretização_, que está relacionado a aspectos ontológicos de tais objetos, possui implicações éticas contra o descarte de objetos produzidos pelo mundo contemporâneo industrializado. No contexto industrial capitalista, a obsolescência programada tem sido usada no sentido de uma manutenção econômica. Contudo, há vários problemas (...) resultantes dessa prática. Um deles diz respeito aos impactos destrutivos causados ao meio ambiente. Assim, haveria na proposta de Simondon elementos para encontrar respostas aos problemas causados pela obsolescência programada? Defendemos que uma saída para isso está na própria orientação ética inerente ao desenvolvimento adequado dos objetos técnicos, constituído na perspectiva da concretização de tais objetos. (shrink)

In "'Yes" and "No'" (2000), Ian Rumfitt proposed bilateralism--a use-based account of the logical words, according to which the sense of a sentence is determined by the conditions under which it is asserted and denied. One of Rumfitt's key claims is that bilateralism can provide a justification of classical logic. This paper raises a techical problem for Rumfitt's proposal, one that seems to undermine the bilateralist programme.

As the use of algorithmic decision‐making becomes more commonplace, so too does the worry that these algorithms are often inscrutable and our use of them is a threat to our agency. Since we do not understand why an inscrutable process recommends one option over another, we lose our ability to judge whether the guidance is appropriate and are vulnerable to being led astray. In response, I claim that a process being inscrutable does not automatically make its guidance inappropriate. This phenomenon (...) is not restricted to algorithms, and there are many social processes which we should conform to but are similarly unable to judge for ourselves. I provide a framework for how we can depend on inscrutable processes by introducing a distinction between knowing conformity (where I understand what justifies the guidance) from mere conformity (where I merely do what I am told) and showing how mere conformity is often positively valuable because it allows for extended processes that in turn allow us to accomplish more than we could on our own. This is in effect a division of deliberative labour, which I argue is something commonplace but not often recognised, of which algorithmic guidance can be an example. (shrink)

Este artigo busca encontrar na teoria crítica da racionalidade moderna de Jürgen Habermas (1929-) elementos de uma paideia. O primeiro tópico lança o substrato epistemológico sobre a existência das racionalidades estratégica e comunicativa. O segundo, afirma que o desengate entre o sistema e o mundo da vida, e a colonização deste por aquele, causam as patologias modernas e colaboram para a formulação de pedagogias coordenadas pela ação estratégica. O terceiro, propõe que o reacoplamento do sistema ao mundo vivido proporciona que (...) todas as dimensões da existência humana sejam orientadas pela ação comunicativa, na qual se encontram os traços de uma paideia emancipadora e revolucionária. (shrink)

The increasing use of digital technologies in judicial and arbitration proceedings increases the usage of digital evidence by the parties, which brings the necessity of creating patterns for adjudicators to admit and assess this new type of evidence. This paper generally addresses digital evidence focusing on the second moment in international arbitration proceedings. It also narrows the topic to hacked and leaked evidence and its admissibility in international arbitration. The literature review showed a significant amount of research devoted to the (...) evidence in arbitration. Some considered electronic evidence within one jurisdiction; others focused on certain forms of digital evidence such as electronic signatures. Papers on digital evidence in international arbitration approach arbitration rules for digital evidence but skip admissibility issues. No systemic and complex works research digital evidence in arbitration, explicitly focusing on the admissibility of hacked and leaked digital evidence from a comparative perspective. Also, no research deals with enforcing international arbitration awards relying on illegally obtained digital evidence. In these cases, there could be a possible violation of domestic public policy under the New York Convention terms (art. V, 2, b). That is why the paper aims to offer the concept of digital evidence in international arbitration, including hacked and leaked evidence, criteria of its admissibility and relevance, and design the arbitration guidelines for assessing hacked and leaked evidence. Comparative legal analysis of the international arbitration rules and national procedure law allowed us to compare the regulatory approaches to the definition of digital evidence and its admissibility worldwide. The method of legal modeling allowed designing model guidelines for arbitral tribunals to evaluate the admissibility and relevance of digital evidence, including hacked and leaked evidence. Moreover, the case study method allowed us to analyze jurisprudence and define criteria for admission of hacked and leaked evidence. We conclude that the admissibility of hacked and leaked evidence depends solely on the arbitrator’s broad discretion to assess the evidence. Nevertheless, thorough evidence analysis and a well-reasoned award are always mandatory. (shrink)

Commuting conversions were introduced in the natural deduction calculus as ad hoc devices for the purpose of guaranteeing the subformula property in normal proofs. In a well known book, Jean-Yves Girard commented harshly on these conversions, saying that ‘one tends to think that natural deduction should be modified to correct such atrocities.’ We present an embedding of the intuitionistic predicate calculus into a second-order predicative system for which there is no need for commuting conversions. Furthermore, we show that the redex (...) and the conversum of a commuting conversion of the original calculus translate into equivalent derivations by means of a series of bidirectional applications of standard conversions. (shrink)

We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma$$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma$$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...) calculus, we define a functional interpretation of first-order predicate logic and prove a corresponding soundness theorem. It is seen that each theorem of classical first-order logic is connected with certain formulas which are tautological in character. As a corollary, we reprove Herbrand’s theorem on the extraction of terms from classically provable existential statements. (shrink)

It is known that there is a sound and faithful translation of the full intuitionistic propositional calculus into the atomic polymorphic system F at, a predicative calculus with only two connectives: the conditional and the second-order universal quantifier. The faithfulness of the embedding was established quite recently via a model-theoretic argument based in Kripke structures. In this paper we present a purely proof-theoretic proof of faithfulness. As an application, we give a purely proof-theoretic proof of the disjunction property of the (...) intuitionistic propositional logic in which commuting conversions are not needed. (shrink)

According to attention-based theories, to explain organizational attention is to explain organizational behavior. In our study, we test the model of situated attention and firm behavior by examining the effects of attention structures and allocation of attention on organizational outcomes. We hypothesize a positive relationship between attention structures and the allocation of organizational attention that, in turn, has an effect on financial performance. Using a unique data set composed of indicators of social responsibility published by 338 Brazilian organizations between 2001 (...) and 2007, we find support for our hypotheses. Our findings suggest that organizational attention to social issues fully mediates the relationship between attention structures and financial performance. (shrink)

Even though the talk of causal bases is commonplace in traditional and contemporary discussions about dispositions, the concept of causal bases has never been systematically investigated. This paper aims to fill this gap by developing the causal-grounding account. This account takes two roles as definitory for causal bases. First, causal bases are possible causes of disposition manifestations. Second, causal bases are metaphysical grounds of disposition instantiations. In this paper, we show that the causal-grounding account (CGA) achieves crucial distinctions (for example (...) between causal bases and manifestation conditions), captures relevant traditional features of causal bases, and can be invoked to support the causal efficacy of disposition instantiations. At the same time, CGA does not require that causal bases have to be categorical or intrinsic. This, in turn, allows us to remain neutral concerning fundamental properties, the existence of dispositional or extrinsic causal bases, multi-track dispositions, and the reducibility of dispositions. This neutrality grants the suitability of our account for different philosophical projects and discussions. (shrink)

Most studies investigating the relationship between cultural constructs and ethical perception have focused on individual- and societal-level values without much attention to other type of cultural constructs such as social beliefs. In addition, we need to better understand how social beliefs are linked to ethical perception and the level of analysis at which social beliefs may best predict ethical perceptions. This research contributes to the cross-cultural ethical perception literature by examining the relationship of individual-level social cynicism belief, one of five (...) universally endorsed social beliefs, together with individual social dominance orientation and the perception of unethical behavior. By means of two studies, we examine these relationships across societies that significantly differ on societal-level social cynicism belief. Using 371 business students from Russia and the U.S. in Study 1 and 268 professionals from Portugal and the U.S. in Study 2, we found that individual-level social cynicism belief was positively associated with social dominance orientation. Social dominance orientation, in turn, mediated the relationship between individual social cynicism belief and the perception of unethical behavior. Although we found significant societal-level differences in social cynicism belief in both studies, the relationships between individual-level social cynicism belief, social dominance orientation, and the perception of unethical behavior were structurally equivalent across societies in both studies, suggesting that societal-level differences did not significantly affect these relationships. Implications for cross-cultural business ethics research and practice are discussed. (shrink)

The purpose of this article is to reflect on the changes that the implementation of artificial wombs would bring to society, the family, and the concept of motherhood and fatherhood through the lens of two recent books: Helen Sedgwick’s The Growing Season and Rebecca Ann Smith’s Baby X. Each of the two novels, set in a near future, follows the work of a scientist who develops artificial womb technology. Significantly, both women experience concerns about the technology and its long-term effects (...) that make both of them leave their laboratories and rethink the technology they invented, while considering its many ethical implications. Both novels can be seen as feminist revisionary rewritings of Aldous Huxley’s Brave New World, rejecting the vision of rows of mass-produced, anonymous babies in artificial wombs, stressing instead the closeness of the parents to their offspring. They nevertheless critically evaluate not only the many potential benefits for women of ectogenetic technology but also the possible disadvantages and pitfalls. (shrink)

In the course of ten short sections, we comment on Gödel's seminal dialectica paper of fifty years ago and its aftermath. We start by suggesting that Gödel's use of functionals of finite type is yet another instance of the realistic attitude of Gödel towards mathematics, in tune with his defense of the postulation of ever increasing higher types in foundational studies. We also make some observations concerning Gödel's recasting of intuitionistic arithmetic via the dialectica interpretation, discuss the extra principles that (...) the interpretation validates and comment on extensionality and higher order equality. The latter sections focus on the role of majorizability considerations within the dialectica and related interpretations for extracting computational information from ordinary proofs in mathematics. (shrink)

RESUMOAs muitas definições de tecnociência são oferecidas como corretivas para um ideal de ciência pura, completamente separada da sociedade. A crítica da pureza nos estudos de ciência e de tecnologia foi precedida por críticas fenomenológicas em Heidegger e em Marcuse. A ideia de pureza não é mais crível. No entanto, o conceito de ciência pura tem desempenhado historicamente um papel na defesa da ciência contra interferências políticas. O conceito de tecnociência corre o risco de abrir a ciência a essa interferência (...) e tem provocado uma defesa renovada e, de certa forma, fútil da sua pureza. O consenso nos Estudos de Ciência e Tecnologia (ECT) de que a ciência é fundamentalmente social parece tornar óbvia a necessidade de um termo como tecnociência. Este artigo sugere uma definição restritiva de tecnociência com base na multiplicação de testes independentes de validade. Esse é um caso extremo da sociabilidade da ciência, porque aqui a ciência e a tecnologia emergem juntas, em vez de a teoria preceder a aplicação. A tecnociência sob essa definição descreveria o trabalho científico, validado cientificamente, que serve simultaneamente em processos comerciais e públicos que têm sua própria lógica e seus testes de validade independentes. De acordo com essa definição, a existência de interações complexas entre ciência e sociedade não obscurece as fronteiras entre esses testes. A tecnociência está inserida na sociedade, como toda ciência, mas é única ao se situar em um “garfo” [ataque duplo no xadrez] entre linguagens e critérios de sucesso distintos. Palavras-chave: Tecnociência. Estudos de Ciência e Tecnologia. Heidegger. Marcuse. Ciência/Sociedade. (shrink)

During the last few decades, the historical turn within the tradition of the analytic tradition has experienced growing enthusiasm concerning the procedure of rational reconstruction, whose validity or importance, despite its paradigmatic examples in Frege and Russell, has not always enjoyed a consensus. Among the analytic philosophers who are the frontrunners of this movement, Robert Brandom is one of a kind: his work on Hegel as well as on German Idealism has been increasing interest in, as well as awareness of, (...) Hegel´s possible contributions to some current problems in that tradition, and connecting Hegel scholars to current questions. Thus, this work aims to explore Brandom´s methodology of rational reconstruction, as well as his dialogue with history of Philosophy, mainly exposed in his Tales of the mighty dead (2002). As we will see, Brandom´s distinction between a de dicto and a de re approach intends to present a way of identifying and analyzing a given philosopher´s theoretical (hidden) commitments that can be useful to improve the quality of the dialogue with past philosophers. From such methodological exposition, I to turn to Kierkegaard in order to make explicit some of his ontological commitments and presenting Brandom’s approach as a valuable tool for doing history of philosophy. (shrink)

In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation is sound for considerable generalizations of weak König’s Lemma, even in the presence of very weak induction. Moreover, when this is combined with Cook and Urquhart’s variant of the functional interpretation, one obtains effective versions of conservation results regarding weak König’s Lemma which have been so far only obtained non-constructively.

Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson's theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but (...) also what cannot be so interpreted. We explain some of these results and rely on them to discuss Nelson's position. (shrink)

Every model of IΔ0 is the tally part of a model of the stringlanguage theory Th-FO . We show how to “smoothly” introduce in Th-FO the binary length function, whereby it is possible to make exponential assumptions in models of Th-FO. These considerations entail that every model of IΔ0 + ¬exp is a proper initial segment of a model of Th-FO and that a modicum of bounded collection is true in these models.

The article addresses the pervasive global challenge of delayed justice, emphasizing its role as a catalyst for widespread judicial reforms. The study defines international and national court approaches to reasonable trial durations by employing systematic and comparative legal methods. It delves into essential technology courts and parties use to ensure timely proceedings, categorizing associated risks and problems. The authors advocate for the multi-door courthouse system, illustrating its efficacy in reducing delays. Furthermore, the article classifies technologies facilitating reasonable trial durations, acknowledging (...) and offering solutions for the challenges they present. This research contributes to the dynamic landscape of judicial reform, offering a holistic perspective on the multifaceted aspects of timely justice. (shrink)

Resumo: Mesmo que neguemos qualquer tipo de excepcionalismo à filosofia como empreendimento intelectual (ver Williamson, 2007), parece fácil conceder que, pelo menos no que diz respeito às relações com sua própria história, a filosofia é diferente de outros campos do conhecimento (ver Williamson, 2018). No entanto, questões relacionadas ao escopo, papel e validade da história da filosofia para a atividade filosófica são tão antigas quanto a própria filosofia, além de se tornarem relevantes no chamado parting of ways entre as tendências (...) analítica e hermenêutico-fenomenológica. No entanto, é possível dizer que, pelo menos desde a segunda metade do último século, temos visto uma inflexão importante sobre o lugar e a importância da história da filosofia na filosofia contemporânea: tanto por causa da “virada histórica” na filosofia analítica, com obras de Strawson, Sellars e, mais recentemente, Brandom, servindo como bons exemplos desse movimento, quanto pelo interesse recentemente renovado em questões de metafilosofia. Um exemplo desse segundo movimento é o debate entre os chamados apropriacionistas e os contextualistas. Portanto, este artigo tem como objetivo analisar os dois principais argumentos contra as reconstruções racionais - o GTRC e a acusação de anacronismo - e oferecer uma defesa de uma abordagem inferencialista para a história da filosofia, com base no trabalho de Robert Brandom, que é simultaneamente aberto a certo contextualismo, bem como estabelece parâmetros para as reconstruções racionais. (shrink)

Let be the fragment of elementary Peano arithmetic in which induction is restricted to -formulas. More than three decades ago, Parsons showed that the provably total functions of are exactly the primitive recursive functions. In this paper, we observe that Parsons' result is a consequence of Herbrand's theorem concerning the -consequences of universal theories. We give a self-contained proof requiring only basic knowledge of mathematical logic.

Disfluencies include editing terms such as uh and um as well as repeats and revisions. Little is known about how disfluencies are processed, and there has been next to no research focused on the way that disfluencies affect structure-building operations during comprehension. We review major findings from both computational linguistics and psycholinguistics, and then we summarize the results of our own work which centers on how the parser behaves when it encounters a disfluency. We describe some new research showing that (...) information associated with misarticulated verbs lingers, and which adds to the large body of data on the critical influence of verb argument structures on sentence comprehension. The paper also presents a model of disfluency processing. The parser uses a Tree Adjoining Grammar to build phrase structure. In this approach, filled and unfilled pauses affect the timing of Substitution operations. Repairs and corrections are handled by a mechanism we term “Overlay,” which allows the parser to overwrite an undesired tree with the appropriate, correct tree. This model of disfluency processing highlights the need for the parser to sometimes coordinate the mechanisms that perform garden-path reanalysis with those that do disfluency repair. The research program as a whole demonstrates that it is possible to study disfluencies systematically and to learn how the parser handles filler material and mistakes. It also showcases the power of Tree Adjoining Grammars, a formalism developed by Aravind Joshi which has yielded results in many different areas of linguistics and cognitive science. (shrink)

I suggest here ecologies of the nascent state, posing the following general questions: what is this state and what is it to live, to fabricate modes of life, in its immanence? I believe populating this state is, by right, ‘ecological’, even if what I offer here is only a sketch or glimpse, playful as it is, of the possibility of such modes of life, of dwelling. As I develop it here, the nascent is in flight of being. It is populated (...) by lesser, minoritarian existences. If it is ‘ecological’, it is because these existences, or modes of becoming, are themselves, in their own right, ‘ecologies’, that is, modes of dwelling, of life, on the ‘other side of existence’, as Antonin Artaud put it once, in exile from Being. The power to return eternally to the nascent state is the power to live, to dwell, in the absolute forgetfulness of Being, in the interstice where philosophy supposedly ends, but where it nevertheless begins again, in oblivion itself, where being is never already the verticality of Being, its difference with beings, but always nascent, in the beginning, eternally so. (shrink)

Arguments analogous to those found in the late medieval theory of the king’s two bodies, popularized by Ernst Kantorowicz, were resurrected in early nineteenth-century constitutional theories of the moderating powers of monarchy. Post-revolutionary French liberal thought, echoed by its Portuguese counterpart, rediscovered the virtues of the institution of royalty, notably the immaterial and immortal body of the king. This rediscovery was prompted by the uncertainties of different national political contexts which made many contemporaries believe it desirable to integrate restored monarchies (...) within modern constitutional models for state stability. This first occurred with the Bourbons’ return to post-Napoleonic France and the restoration of the monarchy in 1814, and then with the Braganza royal family’s return to Portugal in 1821 after thirteen years of rule from Brazil. Using arguments similar to those previously made in late medieval European political and legal thought, French and Portuguese liberals developed a theory of the king’s two powers, according to which the monarch at once exercised a moderating power, defined by the abstract institutional nature of the king’s person, and an executive power, embodied within his physical person. This conceptualization of royal duality was intended to make it possible to delegate executive power to ministers, leaving the king only the attributes of a largely symbolic power. Liberals thereby hoped to confine the monarch to his purely institutional body in a de-politicized constitutional role. (shrink)

We present a refinement ofthe bounded modified realizability which provides both upper and lower bounds for witnesses. Our interpretation is based on a generalisation of Howard/Bezem's notion of strong majorizability. We show how the bounded modified realizability coincides with our interpretation in the case when least elements exist . The new interpretation, however, permits the extraction of more accurate bounds, and provides an ideal setting for dealing directly with data types whose natural ordering is not well-founded.

Some philosophical and metaethical theories have tried to provide a fundamental background for bioethics but miss the fundamental question about what medicine is, its nature and its end. We argue that the philosophy of medicine, through the development that Edmund Pellegrino and David Thomasma gave to this field of study, allied with Aristotle’s practical and teleological ethics, can provide an ontological background for bioethics beyond the tradition of principles and deontology, with particular emphasis on the uniqueness of the doctor-patient encounter. (...) Some difficulties and criticisms of this ontological model are also examined. (shrink)

Realizability notions in mathematical logic have a long history, which can be traced back to the work of Stephen Kleene in the 1940s, aimed at exploring the foundations of intuitionistic logic. Kleene’s initial realizability laid the ground for more sophisticated notions such as Kreisel’s modified realizability and various modern approaches. In this context, our work aligns with the lineage of realizability strategies that emphasize the accumulation, rather than the propagation of precise witnesses. In this paper, we introduce a new notion (...) of realizability, namely herbrandized modified realizability. This novel form of (cumulative) realizability, presented within the framework of semi-intuitionistic logic is based on a recently developed star combinatory calculus, which enables the gathering of witnesses into nonempty finite sets. We also show that the previous analysis can be extended from logic to (Heyting) arithmetic. (shrink)

Describing our visual environments is challenging because although an enormous amount of information is simultaneously available to the visual system, the language channel must impose a linear order on that information. Moreover, the production system is at least moderately incremental, meaning that it interleaves planning and speaking processes. Here, we address how the operations of these two cognitive systems are coordinated given their different characteristics. We propose the concept of a perceptual clause, defined as an interface representation that allows the (...) visual and linguistic systems to exchange information. The perceptual clause serves as the input to the language formulator, which translates the representation into a linguistic sequence. Perceptual clauses capture speakers’ ability to describe visual scenes coherently while at the same time taking advantage of the incremental abilities of the language production system. (shrink)

This thesis aims to study the origins of interiority from an externalist perspective. The process by which self-knowledge is formed is considered in relation to the development of the first-person perspective. From a first-person perspective, one is capable of self-referring and knowing one's own mental and physical states. Self-consciousness and self-knowledge are discussed in relation to Descartes' idea of first-person authority. The Cartesian idea contends that the first-person perspective has privileged and non-empirical access to one's own mental state. On the (...) contrary, externalism's central thesis contends that the content of one's own mental state originates from interactions with the environment, thus, there is no privileged access of one's own mental state. Thus, the externalist's thesis puts into question the Cartesian idea of privileged epistemic access of the first person. The perceptual externalism of Davidson, for example, proposes a triadic solution to the origins of self-knowledge. Davidson's thesis is presented as reconciling self-knowledge and the basic externalist ideas. Two externalist models on the origins of self-knowledge are further discussed: 1) ecological models proposing a development of a sense of self as a function of interactions with the environment; 2) the psychological model of Winnicott proposing that the developing sense of self arises from the triadic relation between self, others, and transitional object(s). We defend the thesis that Winnicott's model is the most apt at describing the Davidsonian externalist model of the origins of self-knowledge. (shrink)

Neste texto, discutimos disposições teórico-metodológicas do Grupo de Estudos sobre Numeramento (GEN), na busca de compreender os modos como pessoas, em suas singularidades, mas como sujeitos sociais, se apropriam de práticas matemáticas, tomadas como práticas discursivas. A pesquisa, a formação docente e a atuação do GEN em contextos educativos diversos inserem-se nos campos da Educação Matemática e do Letramento, pois buscam conhecer sujeitos da Educação (crianças, adolescentes, jovens, pessoas adultas e idosas), que, vivendo em sociedades ‘grafocêntricas’ e ‘quanticratas’, movidos por (...) intenções pragmáticas e parametrizados por referências culturais, forjam usos dos sistemas linguísticos relacionados à quantificação, mensuração, ordenação, classificação e organização de formas e espaços. A esses usos chamamos práticas de numeramento. As situações em que as identificamos – os eventos de numeramento –, em seu caráter histórico, são tomadas como unidades da análise das intenções dos usos, dos efeitos de sentido que logram produzir e, principalmente, de como sujeitos se constituem nas interações por eles mediadas, ao produzirem e tensionarem significados. Na seção ‘Compreendendo práticas matemáticas como práticas discursivas: foco, perspectiva e referenciais teórico-metodológicos do Grupo de Estudos sobre Numeramento (GEN)’: explicitamos o propósito do Programa de Pesquisa do Grupo (conhecer sujeitos e grupos sociais que protagonizam práticas de numeramento); justificamos sua base teórica (os Estudos do Letramento como Prática Social; a Pedagogia da Liberdade e da Autonomia; a compreensão da cognição como processo social; e a abordagem sociológica da Linguagem); assumimos a etnografia como lógica de investigação; e propomos a análise de interações como principal tratamento do material empírico. Apontamos também, dadas as especificidades dos sujeitos, a necessidade do diálogo com diversos campos: Educação de Pessoas Jovens, Adultas e Idosas (EJA), Sociologia da/s Infância/s; Estudos da/s Juventude/s; Educação do Campo; Educação Indígena; Educação de Pessoas Surdas; Formação Docente, entre outros. Na seção ‘Compreendendo práticas de numeramento como práticas de letramento: fertilidade analítica e pedagógica das escolhas teóricas’, esclarecemos como nossos estudos se inserem numa perspectiva Etnomatemática, porque contribuem para conhecermos os sujeitos que vemos protagonizar práticas matemáticas ao assumirem posições discursivas – portanto, sociais, culturais e políticas. Na seção ‘Compreendendo a aprendizagem matemática como apropriação de práticas de numeramento: desdobramentos da concepção de práticas matemáticas como práticas discursivas’, apresentamos como o conceito de apropriação de práticas de numeramento, de inspiração vigostskiana, usado para contemplar múltiplos sentidos das ações dos sujeitos em eventos de numeramento, disponibiliza uma ferramenta teórica para compreender a aprendizagem matemática não como experiência cognitiva individual, mas como ação social. Na seção ‘Interlocuções teóricas e disposições analíticas dos estudos mais recentes do GEN’, indicamos como uma análise tridimensional do discurso (do texto, da situação discursiva e da prática social), adotada para conhecer melhor os sujeitos e reconhecê-los como sujeitos sociais, tem-nos conduzido às considerações de Paulo Freire sobre sujeito de cultura, sujeito de conhecimento, sujeito dialógico e sujeito do processo, que compõem o sujeito histórico, protagonista de eventos de numeramento. Na ‘coda’ (‘Reiterando’), reafirmamos o foco de nossa linha de investigação no campo da Educação Matemática: pessoas constituindo-se como sujeitos sociais, enquanto se apropriam de práticas de numeramento. (shrink)

El estudio del patrimonio como fenómeno sociocultural exige prestar atención a cuáles son las representaciones que elabora y hace circular socialmente. En el caso de este artículo, el problema identificado consiste en que las reseñas históricas utilizadas en la difusión de ciudades históricas y patrimoniales pudieran estar representando negativamente a los pueblos indígenas, colaborando en la reproducción de representaciones tendenciosas. De esta manera, el objetivo de este artículo es conocer las valoraciones realizadas a los pueblos indígenas en las reseñas históricas, (...) realizándose un estudio de caso de la ciudad de La Serena (Chile). Para llevarlo a cabo, se recurre teóricamente a los Estudios Patrimoniales y a los Estudios Críticos del Discurso, optando por la arquitectura teórica de la Lingüística Sistémico-Funcional que, valiéndose del Sistema de Valoración, permite indagar sobre los efectos retóricos que construyen posicionamientos ideológicos en los discursos. Se concluye que las reseñas estudiadas poseen un posicionamiento ideológico tradicional de la historia, ya que el relato se presenta como una historia de héroes hispanos que enfrentan grandes gestas contra los indígenas, cuya participación queda descontextualizada y reducida a la destrucción de la ciudad y la oposición a los españoles. (shrink)

Can the brain become mind? If the question seems strange, aberrant even, it is perhaps due to the way the problem brain–mind is commonly presented, where what's repeatedly asked is whether the brain is or isn’t ‘mind’. Yet, if we take Deleuze and Guattari's provocation seriously, in the Conclusion of What is Philosophy?, the problem is radically recast: even if speculatively, that is, properly philosophically or conceptually, the brain, for them, involves its own becoming, both in terms of its ‘becoming-subject’ (...) and ‘becoming-mind’, as ‘Thought-brain’. I will explore references within Deleuze's philosophy in relation to the brain, namely in The Logic of Sense and his work on cinema, as I try to work out what this fantastic story (with necropolitical undertones) may in fact look like, the one where the brain not simply is but becomes, and in becoming, becomes mind…. (shrink)

Wittgenstein afirma no Tractatus que a teoria das classes é supérflua na Matemática e que isso está relacionado ao fato de que a generalidade exigida pela Matemática não é “acidental” (TLP 6.031). O objetivo deste texto é elucidar essa afirmação chamando a atenção para o que, seguindo Gregory Landini, tomaremos como uma forma de Logicismo compartilhada por Frege e Russell. Esta forma de Logicismo tem dois princípios básicos, a saber: o uso de uma teoria lógica cujas variáveis estruturadas incorporam o (...) que hoje chamamos de teoria dos tipos simples e a análise de atribuições numéricas em termos de afirmações sobre conceitos ou atributos que empregam conceitos de ordem superior exatamente análogos aos chamados quantificadores ‘numericamente definidos’. Argumentamos que é esse arcabouço teórico que Wittgenstein está rejeitando em 6.031 e não apenas o uso da Teoria dos Conjuntos na Matemática. Também é defendido que a noção de classe ainda tem um papel essencial a desempenhar no Tractatus.AbstractWittgenstein claims in the Tractatus that the theory of classes is superfluous in Mathematics and that this is related to the fact that the generality required by Mathematics is not “accidental” (TLP 6.031). My aim in this paper is to elucidate this claim by calling attention to what, following Gregory Landini, I refer to as a form of Logicism shared by Frege and Russell. This form of Logicism has two main tenets, namely:the use of a logical theory whose structured variables embody what we nowadays call the simple theory of types and the analysis of number ascriptions in terms of assertions about concepts or attributes which employ higher-order concepts exactly analogous to so-called ‘numerically definite’ quantifiers. It is argued that it is this shared theoretical framework that Wittgenstein is rejecting in 6.031 and not just the use of Set Theory in Mathematics. It is also argued that the notion of class still has an essential role to play in the Tractatus. (shrink)

Aristotle says that a fallacy of accident takes place whenever something is held to belong in the same way to an object and to its accident (SE 5 166b28-30). The Received View among interpreters takes “accident” (συμβεβηκός) in that connection to stand for any predicate that is not identical to its subject, and makes the fallacy consist in mistaking predication for identity. Such an analysis, however, gives “accident” a meaning otherwise unattested in the corpus; makes all cases of the fallacy (...) inconclusive, whereas inferences of the same kind are warranted (with a qualification) at different places in the corpus; does not cover cases which in Aristotle’s view fall under the fallacy of accident, for which a different analysis and solution must be provided; and does not square with Aristotle’s own solution in terms of sameness or difference in substance and being. This chapter presents a new take on the subject, grounded on Aristotle’s expressed views in the Sophistical Refutations and other works, according to which the fallacy takes place whenever a substitution of co-extensives, or even of necessary equivalents, makes reciprocation fail to (necessarily) hold between relata. (shrink)